THE HARRINGTON–SHELAH MODEL WITH LARGE CONTINUUM
نویسندگان
چکیده
منابع مشابه
The Harrington-shelah Model with Large Continuum
We prove from the existence of a Mahlo cardinal the consistency of the statement that 2ω = ω3 holds and every stationary subset of ω2∩cof(ω) reflects to an ordinal less than ω2 with cofinality ω1. Let us say that stationary set reflection holds at ω2 if for any stationary set S ⊆ ω2∩cof(ω), there is an ordinal α ∈ ω2∩cof(ω1) such that S∩α is stationary in α (that is, S reflects to α). In a clas...
متن کاملA continuum model for nonlinear lattices under large deformations
A continuum model is developed for hexagonal lattices, composed of a set of masses connected by linear axial and angular springs, with nonlinearity arising solely from geometric effects. For a set of lattice parameters, these lattices exhibit complex deformation patterns under uniform loading conditions due to instabilities. A continuum model accounting for these instabilities is developed from...
متن کاملLarge Continuum, Oracles Sh895
Our main theorem is about iterated forcing for making the continuum larger than ℵ 2. We present a generalization of [Sh:669] which dealt with oracles for random, (also for other cases and generalities), by replacing ℵ 1 , ℵ 2 by λ, λ + (starting with λ = λ <λ > ℵ 1). Well, we demand absolute c.c.c. So we get, e.g. the continuum is λ + but we can get cov(meagre) = λ and we give some applications...
متن کاملLarge cardinals and the Continuum Hypothesis
This is a survey paper which discusses the impact of large cardinals on provability of the Continuum Hypothesis (CH). It was Gödel who first suggested that perhaps “strong axioms of infinity” (large cardinals) could decide interesting set-theoretical statements independent over ZFC, such as CH. This hope proved largely unfounded for CH – one can show that virtually all large cardinals defined s...
متن کاملDecisive creatures and large continuum
A. For f > g ∈ ω let c∀f ,g be the minimal number of uniform trees with g-splitting needed to ∀-cover the uniform tree with f -splitting. c∃f ,g is the dual notion for the ∃ cover. Assuming CH and given א1 many (sufficiently different) pairs ( f2 , g2 ) and cardinals κ2 such that κ0 2 = κ2 , we construct a partial order forcing that c∃f2 ,g2 = c ∀ f2 ,g2 = κ2 . For this, we introduce a c...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Journal of Symbolic Logic
سال: 2019
ISSN: 0022-4812,1943-5886
DOI: 10.1017/jsl.2018.74